• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year
  • 
    Medium:
    
    • Online (382)
  • 
    Type
  • 
    BLLDB-Access

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 4 5 6 7 8...20 Hits 61 – 80 of 382 61 Work-Centered Approach to Insurgency Campaign Analysis Leedom, Dennis K.; Noble, David F.; Eggleston, Robert G. In: DTIC (2007) BASE Show details 62 codation - Verbindung von Code und Zusatzinformation Wertenauer, Jochen. - : Stuttgart, Germany, Universität Stuttgart, 2007 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2521/DIP-2521.pdf (2007) BASE Show details 63 Evaluation of a new assessment scheme for a third-year concurrency course Strooper, P. A.; Meinicke, L.. - : Australian Computer Society, Inc., 2007 BASE Show details 64 Developing efficient parsers in Prolog: the CLF manual (v1.0) Despeyroux, Thierry In: https://hal.inria.fr/inria-00120518 ; [Technical Report] RT-0328, INRIA. 2006, pp.18 (2006) BASE Show details 65 The QAT: A Qualitative Algebra Toolkit Condotta, Jean-François; Ligozat, Gérard; Saade, Mahmoud In: Proceedings of the 2nd IEEE International Conference on Information Technologies: from Theory to Applications (ICTTA'06) ; 2nd IEEE International Conference on Information Technologies ; https://hal.archives-ouvertes.fr/hal-01434027 ; 2nd IEEE International Conference on Information Technologies , Apr 2006, Damascus, Syria. pp.3433 - 3438, ⟨10.1109/ICTTA.2006.1684969⟩ (2006) BASE Show details 66 An Analysis of Specware and Its Usefulness in the Verification of High Assurance Systems DeCloss, Daniel P. In: DTIC (2006) BASE Show details 67 Information Visualization: The State of the Art for Maritime Domain Awareness Davenport, Michael; Risley, Chris In: DTIC (2006) BASE Show details 68 Colors of poetry ; computational deconstruction Robinson, Jason R.. - : uga, 2006 BASE Show details 69 Parsing and translation of expressions by genetic programming David Jackson In: http://www.cs.bham.ac.uk/~wbl/biblio/gecco2005/docs/p1681.pdf (2005) BASE Show details 70 Security Ontology for Annotating Resources Kim, Anya; Luo, Jim; Kang, Myong In: DTIC AND NTIS (2005) BASE Show details 71 DARPA Agent Markup Language (DAML) Unified Modeling Language (UML)-Based Ontology Toolset (UBOT) Kogut, Paul In: DTIC (2005) BASE Show details 72 CZT: A framework for Z tools Malik, Petra; Utting, Mark. - : Springer Berlin Heidelberg, 2005 Abstract: The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecking, transforming and printing standard Z specifications in LATEX, Unicode or XML formats. This paper gives an overview of the CZT framework, including an introduction to its visitor design pattern that makes it possible to write new Z transformation tools in just a few lines of Java code. The paper also discusses several problems and challenges that arose when attempting to build tools based on the ISO Standard for Z. © Springer-Verlag Berlin Heidelberg 2005. Keyword: community Z tools (CZT); FoR 0803 (Computer Software) URL: https://doi.org/10.1007/11415787_5 BASE Hide details 73 Entwurf und Implementierung eines Annotationswerkzeugs für die Erstellung von Baumbanken Radeschütz, Sylvia. - : Stuttgart, Germany, Universität Stuttgart, 2005 BASE Show details 74 Refactoring via database representation Péter Diviánszky; Rozália Szabó-nacsa; Zoltán Horváth In: http://aszt.inf.elte.hu/~fun_ver/2004/papers/icai2004_paper_divip.pdf (2004) BASE Show details 75 Naturally Speaking: A Systems Biology Tool With Natural Language Interfaces Antoniotti, Marco; Lau, Ian T.; Mishra, Bud In: DTIC (2004) BASE Show details 76 Evaluation of Transcription and Annotation Tools for a Multi-Modal, Multi-Party Dialogue Corpus Garg, Saurabh; Martinovski, Bilyana; Robinson, Susan... In: DTIC (2004) BASE Show details 77 Disparate Ontology Understanding, Brokering, Linking, and Elaboration (DOUBLE) Reed, Stephen In: DTIC AND NTIS (2004) BASE Show details 78 Shifting the Computational Paradigm Stein, Lynn A. In: DTIC AND NTIS (2004) BASE Show details 79 Konzeption und Implementierung einer abstrakten Anfrage- und Manipulationssprache für den Resource-Flow-Graph Stürmer, Michael. - : Stuttgart, Germany, Universität Stuttgart, 2004 In: ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2182/DIP-2182.pdf (2004) BASE Show details 80 Speeding Up a Path-Based Policy Language Compiler Guven, Ahmet In: DTIC AND NTIS (2003) BASE Show details Page: 1 2 3 4 5 6 7 8...20

Mobile view All Catalogues UB Frankfurt Linguistik 0 IDS Mannheim 0 OLC Linguistik 0 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 0 Bibliographies BLLDB 0 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 236 Journal directory 0 Database directory 11 Dictionary directory 0 Open access documents BASE 146 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0